This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...